On Combining Semi-formal and Formal Object Speciication Techniques
نویسندگان
چکیده
In the early phases of software development it seems profitable to freely mix semi-formal and formal design techniques. Formal techniques have their strength in their ability to rigorously deene desired software qualities like functionality, whereas semi-formal methods are usually said to be easier to understand and to be more human-nature oriented. We propose a new approach in order to combine these two areas by exploiting how constructs of the formal speciication language TROLL light are related to the graphical elements of the UML approach.
منابع مشابه
Integrating Semi - Formal and Formal Softwarespecification
| In this paper, we report on the integration of informal, semiformal and formal system speciication techniques. We present a framework for system speciication called TRADE, within which several well-known semiformal speciication techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements speciication methods. In this paper, we combine TRADE with the logi...
متن کاملA Theory - Based RepresentationforObject - Oriented Domain
Formal software speciication has long been touted as a way to increase the quality and reliability of software; however, it remains an intricate, manually intensive activity. An alternative to using formal speciications directly is to translate graphically-based, semi-formal speciications into formal speciications. However, before this translation can take place, a formal deenition of basic obj...
متن کاملAn Object - Oriented Toolkit for Constructing Speci
Formal software development techniques facilitate the design and implementation of more reliable computer systems, which is particularly important for the development of safety-critical systems. In particular, formal speciication languages provide a means for precisely characterizing the behavior of a computer system and its components, and facilitates the determination of correct implementatio...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل